<?php 
if(session_id() == ''){
	session_start();
}
if(!isset($_SESSION["myusername"])){
	header("Location: index.php");
} 
?>
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<link rel="stylesheet" type="text/css" href="resources/css/default.css" media="screen" />
<title>Dokumenter</title>
</head>
<body>
	<?php
	if(session_id() == ''){
		session_start();
	}
	session_destroy();
	?>
	<header>
		<nav id=nav>
			<?php include("menu.php")?>
		</nav>
	</header>
	<div id=outercontainer>
		<div id=innercontainer>
			Logget ut.
		</div>
	</div>
	<footer><?php include("footer.php")?></footer>
</body>
</html>